Non-classical logic - PDFSEARCH.IO - Document Search Engine

Non-classical logic
Results: 703

#	Item
31	PASS 2009.book(12.Field.fm) Add to Reading List Source URL: philosophy.fas.nyu.edu Language: English - Date: 2009-08-30 15:23:37 Philosophical logic Epistemology Non-classical logic Belief Reasoning Paraconsistent logic Rationality Modal logic Reason Contradiction Argument Logic
32	Properties of Intuitionistic Provability LogicsRosalie Iemhoff Dick de Jongh Chunlai Zhou Add to Reading List Source URL: www.phil.uu.nl Language: English - Date: 2008-12-12 07:46:31 Modal logic Model theory Non-classical logic Philosophical logic Proof theory Normal modal logic First-order logic Propositional calculus Provability logic Mathematical logic Interpretation Modal companion
33	M ODAL C OMPARISONS : T WO D ILLETANTES IN S EARCH OF AN E XPERT⇤ K AI VON F INTEL AND A NGELIKA K RATZER Massachusetts Institute of Technology and University of Massachusetts at Amherst Abstract We express our puzzlem Add to Reading List Source URL: semanticsarchive.net Language: English - Date: 2014-10-22 03:26:10 Comparative Grammar Non-classical logic Philosophical logic Modal logic Comparison Adjective Metalinguistics
34	An improper introduction to epistemic utility theory Richard Pettigrew If Paul believes that Linda is a bank teller and a political activist more strongly than he believes that she is a bank teller, we judge him irration Add to Reading List Source URL: dl.dropboxusercontent.com Language: English Decision theory Non-classical logic Modal logic Modality Philosophical logic Catholic probabilism Theory of justification Reason Expected utility hypothesis Utility Epistemology
35	A Modal Logic for Abstract Delta Modeling Frank de Boer Michiel Helvensteijn Joost Winter Add to Reading List Source URL: www.mhelvens.net Language: English - Date: 2012-09-02 13:47:59 Modal logic Non-classical logic Philosophical logic Model theory Mathematical logic Kripke semantics Substitution Integration by substitution Normal modal logic Linear temporal logic Dirac delta function
36	Focused and Synthetic Nested Sequents Kaustuv Chaudhuri, Sonia Marin, and Lutz Straßburger ´ Inria & LIX/Ecole polytechnique, France {kaustuv.chaudhuri,sonia.marin,lutz.strassburger}@inria.fr Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2016-01-11 07:50:10 Proof theory Non-classical logic Model theory Philosophical logic Deductive reasoning Sequent Cut-elimination theorem Soundness Linear logic Propositional calculus First-order logic Rule of inference
37	Variations on a Theme by Yablo Hartry Field Naive truth theory is, roughly, the theory of truth that in classical logic leads to well-known paradoxes (such as the Liar paradox and the Curry paradox). One response to thes Add to Reading List Source URL: philosophy.fas.nyu.edu Language: English - Date: 2006-10-05 23:08:28 Non-classical logic Philosophical logic Model theory Mathematical logic Logical connectives Saul Kripke Modal logic First-order logic Truth function Negation Logic Liar paradox
38	Evolutionary Fuzzy Rule Acquisition for Playing Ms.PacMan Hisashi Handa, Member, IEEE Abstract— This short description is written for the Ms.PacMan competition in WCCI, held in Hong-Kong. First, instructions, i.e., how Add to Reading List Source URL: cswww.essex.ac.uk Language: English - Date: 2008-05-24 14:11:18 Fuzzy logic Artificial intelligence Logic in computer science Non-classical logic Pac-Man Membership function Ghosts Fuzzy rule
39	DOC Document Add to Reading List Source URL: www.keith-simmons.com Language: English - Date: 2012-09-15 13:15:32 Theories of truth Philosophical logic Non-classical logic Semantics Model theory Liar paradox Dialetheism Interpretation Truth function Truth Revision theory Trivialism
40	Description Logics for Shape Analysis Lilia Georgieva School of Mathematical and Computer Sciences Heriot-Watt University, Edinburgh, UK Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2005-09-09 08:46:00 Non-classical logic Edsger W. Dijkstra Predicate transformer semantics FO First-order logic Null Second-order logic Model theory Free logic Transitive closure